The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation

Deriving DAP Implementations of Numerical Mathematical Software through Automated Program Transformation

The Specification of Array-Based Algorithms and the Automated Derivation of Parallel Implementations through Program Transformation

It is generally a difficult task to construct efficient implementations of numerical mathematical algorithms for execution on high-performance computer systems. The difficulty arises from the need to express an implementation in a form that reflects the nature of the computer system, rather than a form that reflects the computations performed by the algorithm. This thesis develops the method of...

The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations

We present a set of program transformations which are applied automatically to convert abstract functional specifications of numerical algorithms into efficient implementations tailored to the AMT DAP array processor. The transformations are based upon a formal algebra of a functional array form, which provides a functional model of the array operations supported by the DAP programming language...

An Algebra for Deriving Efficient Implementations for an Array Processor Parallel Computer from Functional Specifications

We present a set of program transformations which are applied automatically to convert an abstract functional specification of numerical algorithms into efficient implementations tailored to the AMT DAP array processor. The transformations are based upon a formal algebra of a functional array form, which provides a functional model of the array operations supported by the DAP programming langua...

Comparison of Diagnostic Value of Cast Analyzer X Iranian Software versus Curve Expert Software for Arch Form Construction based on Mathematical Models

  Objective: For the assessment of primary arch form, different methods have been used including qualitative classifications, inter-canine and inter-molar widths and quantitative and numerical methods using mathematical models. The purpose of this study was to compare the validity and reliability of Cast Analyzer X Iranian software with those of Curve Expert Professional version 1.1 for arch fo...